Static Specification Analysis for Termination of Specification-Based Data Structure Repair
نویسندگان
چکیده
We have developed a system that accepts a specification of key data structure consistency constraints, then dynamically detects and repairs violations of these constraints. It is possible to write specifications that are not satisfiable or that for other reasons may cause the repair process to not terminate. We present a static specification analysis that determines whether the repair process will terminate for a given specification.
منابع مشابه
The Effect of Spandrel Beam's Specification on Response Modification Factor of Concrete Coupled Shear Walls
Response modification factor (R factor) is one of the seismic design parameters to be considered in evaluating the performance of buildings during strong motions. This paper has tried to evaluate the response modification factor of concrete coupled shear wall structures with various length/depth ratios of spandrel beams. The effect of diagonal reinforcement of spandrel beam was also evaluated o...
متن کاملThe Value of Panoramic Radiography in Gender Specification of Edentulous Iranian Population
Introduction: gender specification among the forensic dentistry and human anthropology, is mainly based on anatomic variations. Due to racial differences and environmental factors such as time of tooth extraction, osteoporosis, dietary habits, usage of dental prosthetics and periodontal diseases, there will be different results achieved. The purpose of this study is to classify the gender speci...
متن کاملContract-Based Data Structure Repair Using Alloy
Contracts and specifications have long been used in object-oriented design, programming and testing to enhance reliability before software deployment. However, the use of specifications in deployed software is commonly limited to runtime checking where assertions form a basis for detecting incorrect program states to terminate the erroneous executions. This paper presents a contractbased approa...
متن کاملThe MEB and CEB Static Analysis for CSP Specifications
This work presents a static analysis technique based on program slicing for CSP specifications. Given a particular event in a CSP specification, our technique allows us to know what parts of the specification must necessarily be executed before this event, and what parts of the specification could be executed before it in some execution. Our technique is based on a new data structure which exte...
متن کاملA model for specification, composition and verification of access control policies and its application to web services
Despite significant advances in the access control domain, requirements of new computational environments like web services still raise new challenges. Lack of appropriate method for specification of access control policies (ACPs), composition, verification and analysis of them have all made the access control in the composition of web services a complicated problem. In this paper, a new indepe...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003